<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>panel_list_formats_id</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L104'>panel_list_formats_id</a>  104 src/filemanager/boxes.c static unsigned long panel_list_formats_id, panel_user_format_id, panel_brief_cols_id;</span>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L315'>panel_list_formats_id</a>  315 src/filemanager/boxes.c         if (sender != NULL &amp;&amp; sender-&gt;id == panel_list_formats_id)</span>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L350'>panel_list_formats_id</a>  350 src/filemanager/boxes.c                 r = RADIO (widget_find_by_id (w, panel_list_formats_id));</span>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L786'>panel_list_formats_id</a>  786 src/filemanager/boxes.c                 QUICK_RADIO (LIST_FORMATS, list_formats, &amp;result, &amp;panel_list_formats_id),</span>
</pre>
</body>
</html>
